A Logical Framework for Grounding-based Dialogue Analysis
نویسندگان
چکیده
منابع مشابه
A logical framework for grounding - based dialogue analysis 1
A major critique against BDI (Belief, Desire, Intention) approaches to the communication is that they require strong hypotheses such as sincerity, cooperation, ... on the mental states of the agents (cf. for example [12], [13], [5]). The aim of this paper is to give an operator remeding this defect to a logic BDI. Thus we study communication between heterogeneous agents via the notion of ground...
متن کاملA Logical Framework for Grounding-based Dialogue Analysis
A major critique against BDI (Belief, Desire, Intention) approaches to communication is that they require strong hypotheses such as sincerity and cooperation on the mental states of the agents (cf. for example [13,14,5]). The aim of this paper is to remed this defect. Thus we study communication between heterogeneous agents via the notion of grounding, in the sense of being publicly expressed a...
متن کاملA Logical Framework for Program Analysis
Using logics to express program properties, and deduction systems for proving properties of programs, gives a very elegant way of deening program analysis techniques. This paper addresses a shortcoming of previous work in the area by establishing a more general framework for such logics, as is commonly done for progam analysis using abstract interpretation. Moreover, there are natural extension...
متن کاملELAN : A logical framework based
ELAN implements computational systems, a concept that combines rewriting logic with the powerful description of rewriting strategies. ELAN can be used either as a logical framework or to describe and execute deterministic as well as non-deterministic rule based processes. We present the general features of the language and outline some of the applications it has been used for.
متن کاملA Logical Relations for a Logical Framework
Logical relations are a central concept used to study various higher-order type theories and occur frequently in the proofs of a wide variety of meta-theorems. Besides extending the logical relation principle to more general languages, an important research question has been how to represent and thus verify logical relation arguments in logical frameworks. We formulate a theory of logical relat...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Notes in Theoretical Computer Science
سال: 2006
ISSN: 1571-0661
DOI: 10.1016/j.entcs.2006.02.016